Enciklopedinis kompiuterijos žodynas . Valentina Dagienė, Gintautas Grigas, Tatjana Jevsikova . 2008.
postcondition — posąlygis statusas T sritis informatika apibrėžtis ↑Loginis reiškinys, parašytas po kurio nors programos ↑sakinio (sakinių grupės), kurio reikšmė turi būti ↑tiesa atlikus tą sakinį (sakinių grupę). atitikmenys: angl. postcondition ryšiai: dar… … Enciklopedinis kompiuterijos žodynas
assertion — teiginys statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas… … Enciklopedinis kompiuterijos žodynas
teiginys — statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas programos… … Enciklopedinis kompiuterijos žodynas
precondition — priešsąlygis statusas T sritis informatika apibrėžtis ↑Loginis reiškinys, parašytas prieš kurį nors programos ↑sakinį (sakinių grupę), kurio reikšmė turi būti ↑tiesa prieš atliekant tą sakinį (sakinių grupę). atitikmenys: angl. precondition… … Enciklopedinis kompiuterijos žodynas
priešsąlygis — statusas T sritis informatika apibrėžtis ↑Loginis reiškinys, parašytas prieš kurį nors programos ↑sakinį (sakinių grupę), kurio reikšmė turi būti ↑tiesa prieš atliekant tą sakinį (sakinių grupę). atitikmenys: angl. precondition ryšiai: dar žiūrėk … Enciklopedinis kompiuterijos žodynas
